Thomas Kropf: искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (9)
Самые популярные
Список
- Список
- Таблица

1

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Год:

1999

Язык:

english

Файл:

PDF, 3.53 MB

0 / 0

english, 1999

2

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Год:

1999

Язык:

english

Файл:

PDF, 4.53 MB

0 / 0

english, 1999

3

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Год:

1999

Язык:

english

Файл:

PDF, 3.24 MB

0 / 0

english, 1999

4

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Год:

1999

Язык:

english

Файл:

PDF, 4.67 MB

0 / 0

english, 1999

5

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Max Niemeyer Verlag

Год:

1986

Язык:

german

Файл:

PDF, 13.78 MB

0 / 0

german, 1986

6

Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

Springer-Verlag Berlin Heidelberg

Dr. Thomas Kropf (auth.)

Год:

1999

Язык:

english

Файл:

PDF, 6.27 MB

0 / 0

english, 1999

7

Formal Hardware Verification: Methods and Systems in Comparison

Formal Hardware Verification: Methods and Systems in Comparison

Springer-Verlag Berlin Heidelberg

Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)

Год:

1997

Язык:

english

Файл:

DJVU, 3.14 MB

0 / 3.0

english, 1997

8

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

Год:

1995

Язык:

english

Файл:

DJVU, 3.04 MB

0 / 0

english, 1995

9

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

Год:

1995

Язык:

english

Файл:

PDF, 4.57 MB

0 / 0

english, 1995